out{-}decl\{i:l\}($i$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$${\it ltg}$:\{$p$:(IdLnk$\times$Id)$\mid$ source(1of($p$)) $=$ $i$ $\in$ Id \} fp$\rightarrow$ Type$_{\mbox{\scriptsize i}}$